翻訳と辞書
Words near each other
・ IDH
・ IDH1
・ IDH2
・ IDH3A
・ IDH3B
・ IDH3G
・ Idha
・ Idham Chalid
・ Identity provider
・ Identity Registration Protocol
・ Identity score
・ Identity theft
・ Identity Theft (film)
・ Identity theft in the United States
・ Identity Theft Resource Center
Identity theorem
・ Identity theorem for Riemann surfaces
・ Identity theory
・ Identity Theory (webzine)
・ Identity Thief
・ Identity token
・ Identity tourism
・ Identity transform
・ Identity Unknown
・ Identity Unknown (1945 film)
・ Identity Unknown (1960 film)
・ Identity Ventures Racing
・ Identity verification service
・ Identity Within
・ Identity, Migration and the New Security Agenda in Europe


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Identity theorem : ウィキペディア英語版
Identity theorem
In complex analysis, a branch of mathematics, the identity theorem for holomorphic functions states: given functions ''f'' and ''g'' holomorphic on a connected open set ''D'', if ''f'' = ''g'' on some open non-empty subset of ''D'', then ''f'' = ''g'' on ''D''. Thus a holomorphic function is completely determined by its values on a (possibly quite small) neighborhood in ''D''. This is not true for real-differentiable functions. In comparison, holomorphy, or complex-differentiability, is a much more rigid notion. Informally, one sometimes summarizes the theorem by saying holomorphic functions are "hard" (as opposed to, say, continuous functions which are "soft").
The underpinning fact from which the theorem is established is the developability of a holomorphic function into its Taylor series.
== Proof ==

The connectedness assumption on the domain ''D'' is necessary and is in fact key to a short proof given here (obviously, if ''D'' consists of two disjoint open sets, the result does not hold). Under this assumption, since we are given that the set is not empty, topologically the claim amounts to that ''f'' and ''g'' coincide on a set that is both open and closed.
The closedness is immediate from the continuity of ''f'' and ''g''.
Therefore, the main issue is to show that the set on which ''f'' = ''g'' is an open set.
Because a holomorphic function can be represented by its Taylor series everywhere on its domain, it is sufficient to consider the set
:S = \(z) \quad \mbox \; k \geq 0\}.
Suppose ''w'' lies in ''S''. Then, because the Taylor series of ''f'' and ''g'' at ''w'' have non-zero radius of convergence, the open disk ''B''''r''(''w'') also lies in ''S'' for some ''r''. (In fact, ''r'' can be anything less than the distance from ''w'' to the boundary of ''D''). This shows ''S'' is open and proves the theorem.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Identity theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.